Exact Computation with leda_real - Theory and geometric Applications

The number type leda real provides exact computation for a subset of real algebraic numbers: Every integer is a leda real, and leda reals are closed under the basic arithmetic operations +,−, ∗, / and k-th root operations. leda reals guarantee correct results in all comparison operations. The number type is available as part of the leda C++ software library of efficient data types and algorithms [12, 15]. leda reals provide user-friendly exact computation. All the internals are hidden to the user. A user can use leda reals just like any built-in number type. The number type is successfully used to solve precision and robustness problems in geometric computing [2, 23]. It is particularly advantageous when used in combination with the computational geometry algorithms library cgal.